Kammuller, Florian: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Kyoto, Japan (2019.3.11-2019.3.15)] 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Combining Secure System Design with Risk Assessment for IoT Healthcare Systems

Kammuller, Florian

Year:

2019

Language:

english

File:

PDF, 591 KB

english, 2019

2

A Formal Proof of Sylow's Theorem

Florian Kammüller, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 142 KB

english, 1999

3

Attack Trees in Isabelle extended with Probabilities for Quantum Cryptography

Kammüller, Florian

Journal:

Computers & Security

Year:

2019

Language:

english

File:

PDF, 885 KB

english, 2019

4

Functional Active Objects: Typing and Formalisation

Ludovic Henrio, Florian Kammüller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

5

Book Reviews

Florian Kammüller

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

6

Formalizing non-interference for a simple bytecode language in Coq

Florian Kammüller

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 207 KB

english, 2008

7

An industrial application of symbolic model checking

Florian Kammüller, Sören Preibusch

Journal:

Computer Science - Research and Development

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

8

ASPfun : A typed functional active object calculus

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 594 KB

english, 2012

9

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || A Memetic Algorithm for Collaborative Learning Team Formation in the Context of Software Engineering Courses

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

10

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || An Architecture for Resource Behavior Prediction to Improve Scheduling Systems Performance on Enterprise Desktop Grids

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

11

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 ||

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 12.67 MB

english, 2012

12

[IEEE 2014 21st International Conference on Telecommunications (ICT) - Lisbon, Portugal (2014.5.4-2014.5.7)] 2014 21st International Conference on Telecommunications (ICT) - Verification of DNSsec Delegation Signatures

Kammuller, Florian

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

13

[IEEE 2009 Fourth International Conference on Internet Monitoring and Protection - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet Monitoring and Protection - Enhancing Privacy Implementations of Database Enquiries

Kammüller, Florian, Kammüller, Reiner

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

14

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - Network Information Flow Control: Proof of Concept

Alghothami, Alwaleed, Kammuller, Florian

Year:

2013

Language:

english

File:

PDF, 1.39 MB

english, 2013

15

[IEEE 2010 Fifth International Conference on Internet Monitoring and Protection - Barcelona, Spain (2010.05.9-2010.05.15)] 2010 Fifth International Conference on Internet Monitoring and Protection - Implementing Privacy with Erlang Active Objects

Fleck, Andreas, Kammüller, Florian

Year:

2010

Language:

english

File:

PDF, 304 KB

english, 2010

16

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - DNSsec in Isabelle - Replay Attack and Origin Authentication

Kammuller, Florian, Kirsal-Ever, Yoney, Cheng, Xiaochun

Year:

2013

Language:

english

File:

PDF, 414 KB

english, 2013

17

[IEEE 2014 IEEE Security and Privacy Workshops (SPW) - San Jose, CA (2014.5.17-2014.5.18)] 2014 IEEE Security and Privacy Workshops - Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis

Kammuller, Florian, Probst, Christian W.

Year:

2014

Language:

english

File:

PDF, 386 KB

english, 2014

18

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || Federation and Security Aspects for the Management of the EHR in Italy

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 758 KB

english, 2012

19

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || Teaching Scrum to Software Engineering Students with Virtual Reality Support

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 477 KB

english, 2012

20

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.02-2010.05.02)] Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering - PLEASE '10 - Feature link propagation across variability representations with Isabelle/HOL

Kammüller, Florian, Rein, Alexander, Reiser, Mark-Oliver

Year:

2010

Language:

english

File:

PDF, 306 KB

english, 2010

21

Modeling and Verification of Insider Threats Using Logical Analysis

Kammuller, Florian, Probst, Christian W.

Journal:

IEEE Systems Journal

Year:

2015

Language:

english

File:

PDF, 634 KB

english, 2015

22

[IEEE 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST) - Vienna, Austria (2014.7.18-2014.7.18)] 2014 Workshop on Socio-Technical Aspects in Security and Trust - Modeling Human Behaviour with Higher Order Logic: Insider Threats

Boender, Jaap, Ivanova, Marieta Georgieva, Kammuller, Florian, Primiero, Giuseppe

Year:

2014

Language:

english

File:

PDF, 341 KB

english, 2014

23

[IEEE 2013 IEEE CS Security and Privacy Workshops (SPW2013) - San Francisco, CA (2013.5.23-2013.5.24)] 2013 IEEE Security and Privacy Workshops - Invalidating Policies using Structural Information

Kammuller, Florian, Probst, Christian W.

Year:

2013

Language:

english

File:

PDF, 423 KB

english, 2013

24

[IEEE 2016 IEEE Security and Privacy Workshops (SPW) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Security and Privacy Workshops (SPW) - Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling

Kammuller, Florian, Kerber, Manfred

Year:

2016

Language:

english

File:

PDF, 375 KB

english, 2016

25

[IEEE 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - London, United Kingdom (2017.6.7-2017.6.9)] 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

Kammuller, Florian, Augusto, Juan C., Jones, Simon

Year:

2017

Language:

english

File:

PDF, 676 KB

english, 2017